|
|
Paralelní syntaktická analýza
Holko, Maroš ; Regéciová, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Práca sa zaoberá štúdiom niekoľkých metód syntaktickej analýzy, obzvlášť najmä Cocke-Younger-Kasami algoritmu. Ďalej je navrhnutý spôsob paralelizácie tohto algoritmu a jeho implementácia v jazyku C++. Na dosiahnutie paralelizácie boli použité vlákna. S prácou bola vytvorená aj konzolová aplikácia, v ktorej bol implementovaný paralelný CYK algoritmus. Zároveň bolo navrhnuté a implementované rozšírenie, ktoré zisťuje všetky postupnosti použitých pravidiel v prípade, že vstupný reťazec patrí do danej gramatiky. V závere sú diskutované jeho prednosti a nedostatky.
|
|
|
A New Approach to LL and LR Parsing
Martiček, Štefan ; Burgetová, Ivana (oponent) ; Meduna, Alexandr (vedoucí práce)
The aim of this thesis is to create a new effective parsing method via connection of LL and LR approaches. For demonstration purpose is made a new programming language according to the pattern of PHP. The language is separated into the sections and for constituent sections is chosen the most appropriate from the mentioned methods. For every section is created its own syntax analyser. The thesis provides a complete theoretical basis to construct every syntax analyser that has been used here. Finally, the syntax analysers are connected together and new method is practically presented. In conclusion, contributions of this work are discussed, such as the faster parser or the improved development. It also discusses usability of the designed method and suggestions for the next possible research in this area.
|
|
|
Lexikální analyzátor pro víceprocesorové počítače
Otáhal, Jiří ; Goldefus, Filip (oponent) ; Čermák, Martin (vedoucí práce)
Cílem práce je vymyslet metodu, která urychlí analýzu zdrojových textů na víceprocesorových počítačích. Pro tento účel aplikace využívá spuštění více procesů pod systémem UNIX. Každý takto vytvořený proces analyzuje předem určený blok ve zdrojovém souboru a poté se ukončí. Výstupem těchto procesů jsou vnitřní struktury, které reprezentují právě daný blok. Ze struktur je již sekvenčně vytvořen mezikód, který se následně interpretuje. Takto provedená paralelní analýza vedla ke zrychlení oproti klasické sekvenční.
|
|
|
Syntaktická analýza založená na gramatikách s nahodilým kontextem
Mikita, Martin ; Solár, Peter (oponent) ; Vrábel, Lukáš (vedoucí práce)
Tato bakalářská práce popisuje gramatiku s nahodilým kontextem a implementaci aplikace, která bude konvertovat gramatiku (respektující LL podmínku) na ekvivalentní bezkontextovou gramatiku (také splňující podmínku LL). Výslednou gramatiku je možné použít ve stávajících generátorech parseru, který přijme yacc-kompatibilní formát. Tato práce používá GNU Bison generátor, pro který byl zavedený zapouzdřený skript. Potenciální výhodou gramatiky s nahodilým kontextem je dokázaný úspornější zápis oproti bezkontextové gramatiky pro některé jazyky.
|
|
|
Převody mezi CF gramatikami a zásobníkovými automaty
Makovský, Benjamin ; Goldefus, Filip (oponent) ; Masopust, Tomáš (vedoucí práce)
Tato práce navrhuje a řeší implementaci transformací bezkontextových gramatik a převody mezi bezkontextovými gramatikami a zásobníkovými automaty. Obsahuje seznámení s modely, které se používají v moderní teorii formálních jazyků. V práci jsou uvedeny všechny potřebné algoritmy pro transformace a vzájemné převody mezi bezkontextovými gramatikami a zásobníkovými automaty. Je představen objektový návrh reprezentující gramatiku a automat v programu. Je popsáno řešení zadávání definice gramatiky a automatu, řešení vykreslování automatu na obrazovku a vytvoření grafického uživatelského rozhraní aplikace. Výsledný program je zpracován jako Java applet, který je umístěn na veřejných internetových stránkách www.convertcfg.php5.cz.
|
|
|
Zobrazovač grafů a vyhodnocovač matematických výrazů
Skalický, Ivo ; Rychnovský, Lukáš (oponent) ; Lukáš, Roman (vedoucí práce)
Práce se zabývá využitím precedenční syntaktické analýzy pro převod matematického výrazu na dynamický objektový model za účelem vyhodnocování a dalšího zpracovávání výrazů. Cílem bylo vytvořit program, který spojuje funkci vědeckého kalkulátoru a zobrazovače grafů. Program umí na základě textového uživatelského vstupu vyčíslovat matematické výrazy v oboru reálných čísel, počítat lomené výrazy, numericky integrovat a analyticky derivovat výraz podle zadané proměnné. Vedle toho umožňuje také vykreslení průběhu libovolné explicitně, implicitně nebo parametricky zadané křivky do 2D grafu. Grafický výstup je pak možno exportovat s volitelným rozlišením do několika základních rastrových i vektorových formátů. Implementačním jazykem byla z důvodu přenositelnosti zvolena Java.
|
|
|
Pokročilé zotavení z chyb během syntaktické analýzy shora dolů
Obluková, Alena ; Kolář, Dušan (oponent) ; Meduna, Alexandr (vedoucí práce)
Syntaktický analyzátor je jednou z nejdůležitějších částí překladače při často používaném přístupu syntaxí řízený překlad. Při tomto přístupu řídí syntaktický analyzátor sémantické akce a generování abstraktního syntaktického stromu. Jestliže je na vstupu chyba, syntaktický analyzátor nemůže pokračovat a celý překlad musí skončit. Proto je nesmírně důležité, aby syntaktický analyzátor byl schopen se zotavit z chyb, tedy aby i po nalezení chyby byl schopen dále pokračovat. V této bakalářské práci jsou popsány metody zotavení z chyb, podrobně je popsána metoda Kontext zotavení z chyb pomocí pokračování, konkrétně pokračování u LL syntaktického analyzátoru. Přestože tato metoda není příliš známá, není příliš složitá na vysvětlení a na implementaci. Může tedy být snadno použita při výuce pro demonstraci zotavení z chyb při syntaktické analýze shora dolů.
|
|
|
Syntaktická analýza založená na multigenerování
Kleiner, Miloš ; Čermák, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Multigenerativní gramatický systém je založen na kooperativní činnosti konečného počtu bezkontextových gramatik. Všechny tyto bezkontextové gramatiky paralelně a synchronně derivují jednotlivé větné formy. V průběhu generování dochází v každém přímém derivačním kroku ke kontrole správnosti jednotlivých vygenerovaných větných forem. Tyto kontroly mohou být provedeny různými způsoby. Výsledkem je potom tzv. multiřetězec (vektor řetězců), pomocí kterého je definován generovaný jazyk.
|
|
|
Syntaktická analýza založená na multigenerování
Kyjovská, Linda ; Přikryl, Zdeněk (oponent) ; Lukáš, Roman (vedoucí práce)
Práce se zabývá problematikou syntaktické analýzy založené na multigenerování. Cílem je vytvořit program, který zadaný vstupní řetězec transformuje na n- 1 výstupních řetězců. Vstupem programu je uživatelem vytvořený textový soubor obsahující pravidla n gramatik. Právě jedna gramatika je označena za vstupní a zbývajících n- 1gramatik se stává výstupními gramatikami. Na základě vstupní gramatiky se provede syntaktická analýza uživatelem zadaného řetězce, která nám určí použitá gramatická pravidla. Paralelně s touto analýzou vytváříme výstupní řetězce za použití zbývajících n- 1 gramatik. Implementace bude provedena pomocí technologií C++ a Bison.
|
|
|
Syntaktická analýza založená na gramatických systémech
Sedmík, Adam ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce se zabývá problematikou gramatických systémů a syntaktické analýzy. V práci jsou představeny kooperačně distribuované a paralelně komunikující gramatické systémy. Na základě znalostí o gramatických systémech je navrhnut nový typ gramatických systémů se zaměřením na modularizaci syntaktické analýzy. Jsou předvedeny metody syntaktické analýzy, metoda rekurzivního sestupu a precedenční syntaktická analýza. Navržené gramatické systémy jsou předvedeny na syntaktické analýze vlastního programovacího jazyka.
|
host ::
RSS.